Optimal. Leaf size=172 \[ -\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (e+\frac {d}{x}\right )}+\frac {b \csc ^{-1}(c x)}{2 d^2 e}-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}+\frac {b \left (2 c^2 d^2-e^2\right ) \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}}\right )}{2 d^2 \left (c^2 d^2-e^2\right )^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 172, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 8, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {5335, 1582,
1489, 1665, 858, 222, 739, 212} \begin {gather*} -\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (\frac {d}{x}+e\right )}+\frac {b \left (2 c^2 d^2-e^2\right ) \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {1-\frac {1}{c^2 x^2}} \sqrt {c^2 d^2-e^2}}\right )}{2 d^2 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b \csc ^{-1}(c x)}{2 d^2 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 222
Rule 739
Rule 858
Rule 1489
Rule 1582
Rule 1665
Rule 5335
Rubi steps
\begin {align*} \int \frac {a+b \csc ^{-1}(c x)}{(d+e x)^3} \, dx &=-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}-\frac {b \int \frac {1}{\sqrt {1-\frac {1}{c^2 x^2}} x^2 (d+e x)^2} \, dx}{2 c e}\\ &=-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}-\frac {b \int \frac {1}{\sqrt {1-\frac {1}{c^2 x^2}} \left (e+\frac {d}{x}\right )^2 x^4} \, dx}{2 c e}\\ &=-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}+\frac {b \text {Subst}\left (\int \frac {x^2}{(e+d x)^2 \sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{2 c e}\\ &=-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (e+\frac {d}{x}\right )}-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}-\frac {(b c) \text {Subst}\left (\int \frac {e-\left (d-\frac {e^2}{c^2 d}\right ) x}{(e+d x) \sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{2 e \left (c^2 d^2-e^2\right )}\\ &=-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (e+\frac {d}{x}\right )}-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}+\frac {b \text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{2 c d^2 e}-\frac {\left (b c \left (2-\frac {e^2}{c^2 d^2}\right )\right ) \text {Subst}\left (\int \frac {1}{(e+d x) \sqrt {1-\frac {x^2}{c^2}}} \, dx,x,\frac {1}{x}\right )}{2 \left (c^2 d^2-e^2\right )}\\ &=-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (e+\frac {d}{x}\right )}+\frac {b \csc ^{-1}(c x)}{2 d^2 e}-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}+\frac {\left (b c \left (2-\frac {e^2}{c^2 d^2}\right )\right ) \text {Subst}\left (\int \frac {1}{d^2-\frac {e^2}{c^2}-x^2} \, dx,x,\frac {d+\frac {e}{c^2 x}}{\sqrt {1-\frac {1}{c^2 x^2}}}\right )}{2 \left (c^2 d^2-e^2\right )}\\ &=-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}}}{2 d \left (c^2 d^2-e^2\right ) \left (e+\frac {d}{x}\right )}+\frac {b \csc ^{-1}(c x)}{2 d^2 e}-\frac {a+b \csc ^{-1}(c x)}{2 e (d+e x)^2}+\frac {b \left (2 c^2 d^2-e^2\right ) \tanh ^{-1}\left (\frac {c^2 d+\frac {e}{x}}{c \sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}}\right )}{2 d^2 \left (c^2 d^2-e^2\right )^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.34, size = 250, normalized size = 1.45 \begin {gather*} \frac {1}{2} \left (-\frac {a}{e (d+e x)^2}-\frac {b c e \sqrt {1-\frac {1}{c^2 x^2}} x}{d \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b \csc ^{-1}(c x)}{e (d+e x)^2}+\frac {b \text {ArcSin}\left (\frac {1}{c x}\right )}{d^2 e}+\frac {b \left (2 c^2 d^2-e^2\right ) \log (d+e x)}{d^2 (c d-e) (c d+e) \sqrt {c^2 d^2-e^2}}-\frac {b \left (2 c^2 d^2-e^2\right ) \log \left (e+c \left (c d-\sqrt {c^2 d^2-e^2} \sqrt {1-\frac {1}{c^2 x^2}}\right ) x\right )}{d^2 (c d-e) (c d+e) \sqrt {c^2 d^2-e^2}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(970\) vs.
\(2(159)=318\).
time = 4.42, size = 971, normalized size = 5.65
method | result | size |
derivativedivides | \(\frac {-\frac {a \,c^{3}}{2 \left (e c x +c d \right )^{2} e}-\frac {b \,c^{3} \mathrm {arccsc}\left (c x \right )}{2 \left (e c x +c d \right )^{2} e}+\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, d \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}+\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, d \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}-\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{\sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}-\frac {b c e \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b c \,e^{2} \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, d^{2} \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b c e \left (c^{2} x^{2}-1\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}+\frac {b c e \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}+\frac {b c \,e^{2} \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, d^{2} \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}}{c}\) | \(971\) |
default | \(\frac {-\frac {a \,c^{3}}{2 \left (e c x +c d \right )^{2} e}-\frac {b \,c^{3} \mathrm {arccsc}\left (c x \right )}{2 \left (e c x +c d \right )^{2} e}+\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, d \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}+\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, d \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{e \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}-\frac {b \,c^{3} \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{\sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}-\frac {b c e \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b c \,e^{2} \sqrt {c^{2} x^{2}-1}\, \arctan \left (\frac {1}{\sqrt {c^{2} x^{2}-1}}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, d^{2} \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}-\frac {b c e \left (c^{2} x^{2}-1\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right )}+\frac {b c e \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, x d \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}+\frac {b c \,e^{2} \sqrt {c^{2} x^{2}-1}\, \ln \left (\frac {2 \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, \sqrt {c^{2} x^{2}-1}\, e -2 d \,c^{2} x -2 e}{e c x +c d}\right )}{2 \sqrt {\frac {c^{2} x^{2}-1}{c^{2} x^{2}}}\, d^{2} \left (c^{2} d^{2}-e^{2}\right ) \left (e c x +c d \right ) \sqrt {\frac {c^{2} d^{2}-e^{2}}{e^{2}}}}}{c}\) | \(971\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 512 vs.
\(2 (154) = 308\).
time = 0.66, size = 1062, normalized size = 6.17 \begin {gather*} \left [-\frac {a c^{4} d^{6} + b c^{3} d^{5} e - b c d x^{2} e^{5} - {\left (4 \, b c^{2} d^{3} x e^{2} + 2 \, b c^{2} d^{4} e - b x^{2} e^{5} - 2 \, b d x e^{4} + {\left (2 \, b c^{2} d^{2} x^{2} - b d^{2}\right )} e^{3}\right )} \sqrt {c^{2} d^{2} - e^{2}} \log \left (\frac {c^{3} d^{2} x + c d e + \sqrt {c^{2} d^{2} - e^{2}} {\left (c^{2} d x + e\right )} + {\left (c^{2} d^{2} + \sqrt {c^{2} d^{2} - e^{2}} c d - e^{2}\right )} \sqrt {c^{2} x^{2} - 1}}{x e + d}\right ) + {\left (b c^{4} d^{6} - 2 \, b c^{2} d^{4} e^{2} + b d^{2} e^{4}\right )} \operatorname {arccsc}\left (c x\right ) + 2 \, {\left (2 \, b c^{4} d^{5} x e + b c^{4} d^{6} - 4 \, b c^{2} d^{3} x e^{3} + b x^{2} e^{6} + 2 \, b d x e^{5} - {\left (2 \, b c^{2} d^{2} x^{2} - b d^{2}\right )} e^{4} + {\left (b c^{4} d^{4} x^{2} - 2 \, b c^{2} d^{4}\right )} e^{2}\right )} \arctan \left (-c x + \sqrt {c^{2} x^{2} - 1}\right ) - {\left (2 \, b c d^{2} x - a d^{2}\right )} e^{4} + {\left (b c^{3} d^{3} x^{2} - b c d^{3}\right )} e^{3} + 2 \, {\left (b c^{3} d^{4} x - a c^{2} d^{4}\right )} e^{2} + {\left (b c^{2} d^{3} x e^{3} + b c^{2} d^{4} e^{2} - b d x e^{5} - b d^{2} e^{4}\right )} \sqrt {c^{2} x^{2} - 1}}{2 \, {\left (2 \, c^{4} d^{7} x e^{2} + c^{4} d^{8} e - 4 \, c^{2} d^{5} x e^{4} + d^{2} x^{2} e^{7} + 2 \, d^{3} x e^{6} - {\left (2 \, c^{2} d^{4} x^{2} - d^{4}\right )} e^{5} + {\left (c^{4} d^{6} x^{2} - 2 \, c^{2} d^{6}\right )} e^{3}\right )}}, -\frac {a c^{4} d^{6} + b c^{3} d^{5} e - b c d x^{2} e^{5} + 2 \, {\left (4 \, b c^{2} d^{3} x e^{2} + 2 \, b c^{2} d^{4} e - b x^{2} e^{5} - 2 \, b d x e^{4} + {\left (2 \, b c^{2} d^{2} x^{2} - b d^{2}\right )} e^{3}\right )} \sqrt {-c^{2} d^{2} + e^{2}} \arctan \left (\frac {\sqrt {-c^{2} d^{2} + e^{2}} {\left (c x e + c d - \sqrt {c^{2} x^{2} - 1} e\right )}}{c^{2} d^{2} - e^{2}}\right ) + {\left (b c^{4} d^{6} - 2 \, b c^{2} d^{4} e^{2} + b d^{2} e^{4}\right )} \operatorname {arccsc}\left (c x\right ) + 2 \, {\left (2 \, b c^{4} d^{5} x e + b c^{4} d^{6} - 4 \, b c^{2} d^{3} x e^{3} + b x^{2} e^{6} + 2 \, b d x e^{5} - {\left (2 \, b c^{2} d^{2} x^{2} - b d^{2}\right )} e^{4} + {\left (b c^{4} d^{4} x^{2} - 2 \, b c^{2} d^{4}\right )} e^{2}\right )} \arctan \left (-c x + \sqrt {c^{2} x^{2} - 1}\right ) - {\left (2 \, b c d^{2} x - a d^{2}\right )} e^{4} + {\left (b c^{3} d^{3} x^{2} - b c d^{3}\right )} e^{3} + 2 \, {\left (b c^{3} d^{4} x - a c^{2} d^{4}\right )} e^{2} + {\left (b c^{2} d^{3} x e^{3} + b c^{2} d^{4} e^{2} - b d x e^{5} - b d^{2} e^{4}\right )} \sqrt {c^{2} x^{2} - 1}}{2 \, {\left (2 \, c^{4} d^{7} x e^{2} + c^{4} d^{8} e - 4 \, c^{2} d^{5} x e^{4} + d^{2} x^{2} e^{7} + 2 \, d^{3} x e^{6} - {\left (2 \, c^{2} d^{4} x^{2} - d^{4}\right )} e^{5} + {\left (c^{4} d^{6} x^{2} - 2 \, c^{2} d^{6}\right )} e^{3}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {a + b \operatorname {acsc}{\left (c x \right )}}{\left (d + e x\right )^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {a+b\,\mathrm {asin}\left (\frac {1}{c\,x}\right )}{{\left (d+e\,x\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________